# This file is part of BlackArch Linux ( https://www.blackarch.org/ ).
# See COPYING for license details.

pkgname=python-pysmt
_pkgname=PySMT
pkgver=0.9.6
pkgrel=2
pkgdesc='A solver-agnostic library for SMT Formulae manipulation and solving.'
arch=('any')
url='https://pypi.org/project/pysmt/#files'
license=('Apache')
makedepends=('python-setuptools')
source=("https://files.pythonhosted.org/packages/source/${_pkgname::1}/$_pkgname/$_pkgname-$pkgver.tar.gz")
#source=("https://github.com/$_pkgname/$_pkgname/archive/v$pkgver.tar.gz")
sha512sums=('d0610bb6d83f2ecc822f0c1393652009479593f5404851ddcd86da914341b58bb4376b713d0d87437f98b9eb42c2298ea3c83a36707ba774cfbdc611fa760044')

build() {
  cd "$_pkgname-$pkgver"

  python setup.py build
}

package() {
  cd "$_pkgname-$pkgver"

  python setup.py install --root="$pkgdir" --prefix=/usr -O1 --skip-build
}

